1. Furthermore, computers can be used as tools for logicians.

Thêm vào đó, máy tính có thể được sử dụng như công cụ cho các nhà logic học.